(DEFPROP BSTATE1 
 (NIL (:2:7:69 24 50 0 256072)
      (:1:2 30000 29400)
      (:1:3 32000 -15000 -45000)
      (:1:6 63100 -15000 -10000 47500 53600)
      (:1:7 74805 -5000 -2500)
      (:1:8 74322 -7500 13000 15200 36200)
      (:1:10 46400 -15000 -15000 40200)
      (:1:13 73900)
      (:1:14 -7500 48100 3100 10700 14450 -3500 -5169 -10160 72200)
      (:1:15 -40000 -15000)
      (:1:16 -600 -9732 -3000 21370)
      (:1:17 44431 -11665)
      (:1:20 -1500 -2500 -2969)
      (:1:21 -1500 -2500)
      (:1:22 -1050 -15000 -1000 -1000 -756)
      (:1:23 -300000 -15000)
      (:1:24 -400 -15000)
      (:1:27 -300 -5000 -16500)
      (:1:28 -2500)
      (:1:29 88500 -11546)
      (:1:31 -4500 -10000)
      (:2:3 -15000 -1000 -2000 -1000 -2000 -1200 -10000 -15000 -15000)
      (:2:4 -15000)
      (:2:5 -373 -5000 -15000 39362)
      (:2:6 -6000 -15000 94652)
      (:2:7 -15000 -15000 -15000)) 
VALUE)

(DEFPROP BSTATE2 
 (NIL (:3:31:69 13 64 256072 117759)
      (:2:10 -420 -500 -1000 -1000 18109)
      (:2:11 -1774 -4600 -30000 81779)
      (:2:12 -400 -15000)
      (:2:13 -4000 39500 -2500 -5000 -13610 96204)
      (:2:14 -27000)
      (:2:17 -300 -12236 -18000 -1300 -1500 -1500)
      (:2:18 -11665)
      (:2:19 -2500 12175 -305 -934 -1005)
      (:2:20 -3477)
      (:2:24 -500 -547 -2000 8000)
      (:2:27 7200)
      (:2:28 -15000 -15000 -15000 50700)
      (:3:3 -1000 -15000)
      (:3:4 -4608 -15000 -15000)
      (:3:5 13200)
      (:3:7 -15000 4700)
      (:3:10 -6000 -30000)
      (:3:11 -3500 -8000 -10000 -15000)
      (:3:12 -20000)
      (:3:13 -500 -7500 -18000)
      (:3:14 -4000 -11665 -15000)
      (:3:17 -555 -12330 4000)
      (:3:19 -700 -1019 -2500)
      (:3:20 30937)
      (:3:21 -2072 -3000)
      (:3:24 -12688)
      (:3:26 -3500)
      (:3:28 -1200 -4494 -8221 3930 -1500 -622 -15000)
      (:3:31 -15000)) 
VALUE)

(DEFPROP BSTATE3 
 (NIL (:4:30:69 22 33 117759 296248)
      (:4:1 -15000 89300 16564)
      (:4:2 -15000 -15000 69150 -42 -5639 -7800 58650)
      (:4:3 -20000 -30000 38800 -2500 -6779 -15000 45750)
      (:4:4 -100000 9000)
      (:4:7 54300)
      (:4:8 -1000 43100)
      (:4:9 -1000 59250)
      (:4:10 -335 66250)
      (:4:11 -3575 -5489 -150000 44800 42800)
      (:4:14 -3159 46800)
      (:4:15 -9170 63600 -500 -1000 19500)
      (:4:16 -3900 20300)
      (:4:17 -3600 18050)
      (:4:18 -1845 -3650 -11665 20500)
      (:4:21 -3500 30300)
      (:4:22 -1000 -1000 -18000)
      (:4:23 -13407 25100)
      (:4:24 -15000)
      (:4:25 -100000 -500 -1000 -420 12800)
      (:4:28 -4700)
      (:4:29 -125000)) 
VALUE)

(DEFPROP BSTATE4 
 (NIL (:5:29:69 5 22 296248 1612178)
      (:5:1 -15000)
      (:5:2 -15000 20600 -4759 -15000 -15000 13750)
      (:5:5 -30000)
      (:5:7 19500)
      (:5:8 -6683)
      (:5:9 -2500)
      (:5:14 -2000 -9770 27250)
      (:5:15 -3500)
      (:5:19 -11665 6585)
      (:5:20 -1200 -4200)
      (:5:21 -387 -3991 -14375 -18000)
      (:5:23 -27280)
      (:5:26 -1000 -7116)
      (:5:27 -13329)) 
VALUE)

(DEFPROP BSTATE5 
 (NIL (:6:11:69 0 0 0 -13929)
      (:5:31 -515 -20000 -17410 -1200 -42000 -20000 -6577 -20000 -20000 -3885 -20000 -420)) 
VALUE)